- дизъюнктивная система
- disjunctive system мат.
Русско-английский научно-технический словарь Масловского. 2015.
Русско-английский научно-технический словарь Масловского. 2015.
Булева функция — В данной статье или разделе имеется список источников или внешних ссылок, но источники отдельных утверждений остаются неясными из за отсутствия сносок … Википедия
Булевы выражения — В теории дискретных функциональных систем булевой функцией называют функцию типа , где булево множество, а n неотрицательное целое число, которое называют арностью или местностью функции. Элементы 1 (единица) и 0 (ноль) стандартно интерпретируют… … Википедия
СП 151.13330.2012: Инженерные изыскания для размещения, проектирования и строительства АЭС. Часть I. Инженерные изыскания для разработки предпроектной документации (выбор пункта и выбор площадки размещения АЭС) — Терминология СП 151.13330.2012: Инженерные изыскания для размещения, проектирования и строительства АЭС. Часть I. Инженерные изыскания для разработки предпроектной документации (выбор пункта и выбор площадки размещения АЭС): 3.48 MSK 64: 12… … Словарь-справочник терминов нормативно-технической документации
Логика высказываний — Для улучшения этой статьи желательно?: Проставив сноски, внести более точные указания на источники. Логика высказываний (или пропозици … Википедия
Исчисление высказываний — Логика высказываний (или пропозициональная логика) это формальная теория, основным объектом которой служит понятие логического высказывания. С точки зрения выразительности, её можно охарактеризовать как классическую логику нулевого порядка.… … Википедия
Исчисления высказываний — Логика высказываний (или пропозициональная логика) это формальная теория, основным объектом которой служит понятие логического высказывания. С точки зрения выразительности, её можно охарактеризовать как классическую логику нулевого порядка.… … Википедия
Пропозициональная логика — Логика высказываний (или пропозициональная логика) это формальная теория, основным объектом которой служит понятие логического высказывания. С точки зрения выразительности, её можно охарактеризовать как классическую логику нулевого порядка.… … Википедия
Схема функциональной целостности — (СФЦ) это логически универсальное графическое средство структурного представления исследуемых свойств системных объектов. Описание аппарата схем функциональной целостности было впервые опубликовано Можаевым А.С. в 1982 году [1]. По построению… … Википедия